-
1 prueba de corrección del programa
• program correctness proofDiccionario Técnico Español-Inglés > prueba de corrección del programa
-
2 dokaz korektnosti programa
• program correctness proof -
3 доказательство правильности программы
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > доказательство правильности программы
-
4 доказательство правильности программы
1) Computers: program proof2) Information technology: program correctness proofУниверсальный русско-английский словарь > доказательство правильности программы
-
5 corrección
f.1 correction, editing, adjustment, amendment.2 correctness, refinement, good manners, correction.3 admonition, chastisement, punishment, correction.4 patch.* * *1 (rectificación) correction2 (educación) courtesy, correctness, politeness, good manners plural3 (reprensión) rebuke4 (en impresión) proofreading\tratar con corrección to be politecorrección de pruebas proofreading* * *noun f.* * *SF1) (=arreglo) correctioncorrección de pruebas — (Tip) proofreading
corrección por líneas — (Inform) line editing
2) (=censura) rebuke, reprimand; (=castigo) punishment3) (=perfección) correctness4) (=cortesía) courtesy, good manners* * *1)a) ( buenos modales)vestir con corrección — to dress correctly o properly
b) ( honestidad) correctnessc) ( propiedad)2)a) ( de exámenes) correctionb) (enmienda, rectificación) correction•* * *= amending, amendment, correction, correctness, emendation, correctiveness, propriety, rectification.Ex. Store permits the processing of the information that it contains, but, after processing, the data in the store differs from the initial content (for example, in the editing and amending of catalogue records).Ex. The headings consequently correspond to current American usage in both use of terms and spelling and often need amendment to make them consistent with local usage.Ex. Almost all papers, notes, reviews, corrections and correspondence published in many scientific and other journals contain citations to associated works.Ex. Only entries without cross-references and notes may be changed because the system cannot judge the correctness of the cross-references and notes for the changed entry.Ex. His largest group of intentional alterations consisted of 27 relatively minor emendations, mostly wrong-headed.Ex. Exuberance and enthusiasm are proper to the young, as Quintillian remarked: 'The young should be daring and inventive and should rejoice in their inventions, even though correctiveness and severity are still to be acquired'.Ex. Dissatisfaction is being expressed with the public library's feminised world of propriety and respectability.Ex. The advantages of viewing stock verification as stock rectification are discussed.----* corrección automática = machine-editing.* corrección de pruebas = proofreading, proof correction.* correcciones de autor = author's corrections.* corrección formal = elements of due process, due process, procedural justice.* corrección ortográfica = spell checking.* corrección política = political correctness.* departamento de corrección de menores = department of corrections.* función de corrección = editing function.* programa de corrección ortográfica = spelling correction program.* * *1)a) ( buenos modales)vestir con corrección — to dress correctly o properly
b) ( honestidad) correctnessc) ( propiedad)2)a) ( de exámenes) correctionb) (enmienda, rectificación) correction•* * *= amending, amendment, correction, correctness, emendation, correctiveness, propriety, rectification.Ex: Store permits the processing of the information that it contains, but, after processing, the data in the store differs from the initial content (for example, in the editing and amending of catalogue records).
Ex: The headings consequently correspond to current American usage in both use of terms and spelling and often need amendment to make them consistent with local usage.Ex: Almost all papers, notes, reviews, corrections and correspondence published in many scientific and other journals contain citations to associated works.Ex: Only entries without cross-references and notes may be changed because the system cannot judge the correctness of the cross-references and notes for the changed entry.Ex: His largest group of intentional alterations consisted of 27 relatively minor emendations, mostly wrong-headed.Ex: Exuberance and enthusiasm are proper to the young, as Quintillian remarked: 'The young should be daring and inventive and should rejoice in their inventions, even though correctiveness and severity are still to be acquired'.Ex: Dissatisfaction is being expressed with the public library's feminised world of propriety and respectability.Ex: The advantages of viewing stock verification as stock rectification are discussed.* corrección automática = machine-editing.* corrección de pruebas = proofreading, proof correction.* correcciones de autor = author's corrections.* corrección formal = elements of due process, due process, procedural justice.* corrección ortográfica = spell checking.* corrección política = political correctness.* departamento de corrección de menores = department of corrections.* función de corrección = editing function.* programa de corrección ortográfica = spelling correction program.* * *A1(buenos modales): es un hombre de una gran corrección he is very well-mannered o correctsiempre viste con corrección she always dresses very correctly o properlyse comportó con la corrección que lo caracteriza he behaved with characteristic good manners o correctness o decorum2 (honestidad) correctness3(propiedad): habla los dos idiomas con corrección he speaks both languages accurately o well o correctlyCompuesto:political correctnessB1 (de exámenes) correction2 (enmienda, rectificación) correctionCompuestos:proofreadingspell-checkingC ( Fin) tbcorrección bursátil correctionCompuesto:downward correction* * *
corrección sustantivo femenino
1a) ( buenos modales):◊ es un hombre de una gran corrección he is very well-mannered o correct;
vestir con corrección to dress correctly o properly
c) ( propiedad):◊ habla el francés con corrección he speaks French well o correctly
2 (de exámenes, errores) correction;
corrección sustantivo femenino
1 (rectificación) correction
2 (urbanidad) courtesy, politeness
' corrección' also found in these entries:
Spanish:
formalidad
- revisar
- proceder
- propiedad
English:
correction
- amendment
* * *corrección nf1. [de error] correction;[de examen] marking; [de texto] revision Informát corrección de color colour correction;corrección de pruebas proofreading2. [cambio, enmienda] correction;el texto sólo tenía tres correcciones the text only had three corrections3. [perfección] correctness4. [de comportamiento] courtesy;se comportó distantemente con nosotros pero con mucha corrección he was distant but very correct in the way he behaved towards uscorrección política political correctness5. [reprimenda] reprimand* * *f* * *corrección nf, pl - ciones1) : correction2) : correctness, propriety3) : rebuke, reprimand4)corrección de pruebas : proofreading* * *corrección n correction
См. также в других словарях:
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… … Wikipedia
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
доказательство правильности программы — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN program correctness proof … Справочник технического переводчика
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Structured programming — can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement.Historically, several different structuring techniques or… … Wikipedia
Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Metamath — Developer(s) Norman Megill Written in C Operating system … Wikipedia
Richard Waldinger — Richard J. Waldinger is a computer science researcher at SRI Artificial Intelligence Laboratory (where he has worked since 1969) whose interests focus on the application of automated deductive reasoning to problems in software engineering and… … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
